Logic , Algebra and Truth Degrees 2010

Mathematical Fuzzy Logic (MFL) is the subdiscipline of mathematical logic devoted to the study of formal systems of fuzzy logic. It has been a fairly active research field for more than two decades, since scholars undertook the task of providing solid formal foundations for deductive systems arising from Fuzzy Set Theory by realizing that these systems could be seen as a special kind of many-valued logics. This approach turned out to be very fruitful when Petr Hájek collected the results of the first systematic study of fuzzy logics in his monograph Metamathematics of Fuzzy Logic (Kluwer, 1998), a true landmark of the field. This book, together with other influential works by prominent researchers, was the start of an ambitious scientific agenda aiming to the study of all aspects of fuzzy logics, including algebraic semantics , proof systems, game-theoretic semantics, functional representation, first-order and higher-order logics, decidability and complexity issues, model theory, philosophical issues and applications. Moreover, it was made clear that these systems of fuzzy logic constitute a particular family of substruc-tural logics, a central topic for the broad community of researchers studying non-classical logics. Since substructural logics typically enjoy good proof systems and algebraic semantics based on classes of residuated lattices, this connection shed great light on MFL and led to further avenues of research. In order to promote and organize research in the field at the international level, the Working Group on Mathematical Fuzzy Logic (MathFuzzLog) was established under the auspices of the European Society for Fuzzy Logic and Technology (EUSFLAT) in September 2007. Since then it has grown and now includes almost all scholars working on MFL across the globe, with more than 90 members from more than 20 countries. It has its own web site (http://www.mathfuzzlog.org) which can be edited by any member of the group to share information and resources of common interest. Moreover, the group has promoted special issues on MFL in mainstream logic journals and organized specific workshops and special sessions at broader international conferences. Among them, a central activity of the group is to organize its official conference Logic, Algebra and Truth Degrees (LATD) every two years. It is intended to be the main event of our community: besides being the conference where we all can meet and share the latest developments of our field, it also aims to bring together prominent researchers from neighboring fields, and become an excellent opportunity to …